基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

ABOUT CASE

ＡＢＯＵＴＣＡＳＥＹａｎｇＳｈｕｑｉａｎｇ;ＷａｎｇＦｅｎｇ;ＣｈｅｎＨｕｏｗａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,４１００７３）Ａｂｓｔｒａｃｔ：Ｃｏｍｐｕｔｅｒ－ａｉｄｅｄｓｏｆｔｗａｒｅｅｎ...     

仿生机器人运动建模与控制研究进展

综述了几何方法在仿生机器人运动建模和控制中应用的最新成果,探讨了在统一框架下处理多种机器人运动问题的可行性.     

公安边防部队士官学历教育浅谈

公安边防部队的士官学历教育尚在起步阶段,任重而道远。各级领导应着眼部队长远建设,确立优先发展的战略地位;应立足部队现实需要,设置学科专业;应根据岗位任职需求,确定课程体系,突出实用性;应适应教学任务的要求,完善管理与保障体系。     

双时间隐式方法求解非定常绕流的相关问题

空间采用三阶精度的WeightedNND(WNND)格式,时间方向则采用具有二阶精度的双时间步隐式方法求解二维非定常Euler方程,数值模拟了NACA0012翼型俯仰强迫振动流场,讨论了内迭代步数、内迭代收敛判据以及物理时间步长对计算结果、计算效率与计算CPU时间的影响,并将计算结果与实验值进行了比较。     

多属性决策中的线性组合赋权方法研究

权向量的确定是多属性决策中一个重要问题,线性组合赋权方法是解决该问题的一个有效途径。对线性组合赋权的求解问题进行了一般性的描述,并根据求解所用信息的不同将求解方法分为四类,阐述了每类方法常用的求解思路和原则,进一步分析了不同类别方法的特点。对求解方法进行分类,有利于对不同求解方法本质和特性的了解,可以为不同组合赋权方法的应用提供参考。     

关于繁荣中国“社会美”的断想

社会美的具体形象的力量与导向是多种因素的综合反映,要把社会美放到具体的田野工作中去考察,把富于创新理念的美育理论置于具体的背景中去理解,这样有利于深入发掘蕴含于群众之中的社会美资源。要在悬置经验本位和相关理论假设的前提下得出个案研究的新结论。在美育领域,无论是教育者还是受教育者都是审美主体,因为两者的目的都是为了更好地对待审美对象,实现主体与客体的互通共融。社会美的无限的丰富性内容有待于我国美学美育工作者去发现,重要的是要从具体的鲜活的事例出发。     

Replicated batch means for steady‐state simulations

This paper studies a new steady‐state simulation output analysis method called replicated batch means in which a small number of replications are conducted and the observations in these replications are grouped into batches. This paper also introduces and compares methods for selecting the initial state of each replication. More specifically, we show that confidence intervals constructed by the replicated batch means method are valid for large batch sizes and derive expressions for the expected values and variances of the steady‐state mean and variance estimators for stationary processes and large sample sizes. We then use these expressions, analytical examples, and numerical experiments to compare the replicated batch means method with the standard batch means and multiple replications methods. The numerical results, which are obtained from an AR(1) process and a small, nearly‐decomposable Markov chain, show that the multiple replications method often gives confidence intervals with poorer coverage than the standard and replicated batch means methods and that the replicated batch means method, implemented with good choices of initialization method and number of replications, provides confidence interval coverages that range from being comparable with to being noticeably better than coverages obtained by the standard batch means method. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

A novel formulation of material nonlinear analysis in structural mechanics

This article demonstrates a novel approach for material nonlinear analysis. This analysis procedure eliminates tedious and lengthy step by step incremental and then iterative procedure adopted classically and gives direct results in the linear as well as in nonlinear range of the material behavior. Use of elastic moduli is eliminated. Instead, stress and strain functions are used as the material input in the analysis procedure. These stress and strain functions are directly derived from the stress-strain behavior of the material by the method of curve fitting. This way, the whole stress-strain diagram is utilized in the analysis which naturally exposes the response of structure when loading is in nonlinear range of the material behavior. It is found that it is an excellent computational procedure adopted so far for material nonlinear analysis which gives very accurate results, easy to adopt and simple in calculations. The method eliminates all types of linearity assumptions in basic derivations of equations and hence, eliminates all types of possibility of errors in the analysis procedure as well. As it is required to know stress distribution in the structural body by proper modelling and structural idealization, the proposed analysis approach can be regarded as stress-based analysis procedure. Basic problems such as uniaxial problem, beam bending, and torsion problems are solved. It is found that approach is very suitable for solving the problems of fracture mechanics. Energy release rate for plate with center crack and double cantilever beam specimen is also evaluated. The approach solves the fracture problem with relative ease in strength of material style calculations. For all problems, results are compared with the classical displacement-based liner theory.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．